Path Functors in Cat
نویسنده
چکیده
We build an endofunctor in the category of small categories along with the necessary structure on it to turn it into a path object suitable for homotopy theory and modelling identity types in Martin-Löf type theory. We construct the free Grothendieck bifibration over a base category generated by an arbitrary functor to that category.
منابع مشابه
Extensions of Functors From Set to V-cat
We show that for a commutative quantale V every functor Set −→ V -cat has an enriched leftKan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V -cat. Moreover, one can build functors on V -cat by equipping Set-functors with a metric. 1998 ACM Subject Classification F.4.1 Mathematical Logic
متن کاملSimplicial and Categorical Diagrams, and Their Equivariant Applications
We show that the homotopy category of simplicial diagrams I-SS indexed by a small category I is equivalent to a homotopy category of SS ↓ NI simplicial sets over the nerve NI. Then their equivalences, by means of the nerve functor N : Cat → SS from the category Cat of small categories, with respective homotopy categories associated to Cat are established. Consequently, an equivariant simplicial...
متن کامل4 4 1 2 2 1 1 2 Cat Cat Cat Cat N N F G F G N ! N N N N N 1 Introduction
We here consider Elementary Net Systems (ENI-systems) with inhibitor arcs executed according to the semantics, and transition systems generated by them (TSENI). The relationship between nets and their transition systems is established via the notion of a region. We introduce morphisms both for the ENI-systems, and for the TSENI transition systems. We then de ne the category of ENI-systems ( ), ...
متن کاملExponentiability via Double Categories
For a small category B and a double category D, let LaxN (B,D) denote the category whose objects are vertical normal lax functors B //D and morphisms are horizontal lax transformations. It is well known that LaxN (B,Cat) ≃ Cat/B, where Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case whe...
متن کاملThe Comprehensive Factorization and Torsors
This is an expanded, revised and corrected version of the first author’s preprint [1]. The discussion of one-dimensional cohomology H in a fairly general category E involves passing to the (2-)category Cat(E) of categories in E . In particular, the coefficient object is a category B in E and the torsors that Hclassifies are particular functors in E . We only impose conditions on E that are sati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013